$\forall$$i$:Id. AtomFree(Id;$i$)